La logique déontique a évolué énormément en quelques années.
La logique déontique standard est un système de logique modale KD.
La logique déontique standard est une formalisation mathématique de concepts philosophiques.
Il est un de ceux qui ont développé la logique déontique ainsi que la logique de l'action.
Comme pour chaque système logique aujourd'hui, il est erroné de parler DU système de la logique déontique.
Il existe de nombreuses propositions pour des logiques déontiques qui constituent des extensions de la logique déontique standard.
La logique de l’action était aux yeux de son inventeur von Wright un élément indispensable à la constitution d’une logique déontique.
Ce sont donc les progrès de la sémantique, et notamment la sémantique des mondes possibles, qui ont encouragé le développement de la logique déontique.
Suivant les cas, ces logiques sont conçues pour un cadre applicatif spécifique, ou bien comportent des modifications qui visent à contourner certains des paradoxes de la logique déontique standard.
Les axiomes cités ici sont en fait, stricto sensu, des schémas axiomatiques, où les variables muettes p et q peuvent être remplacées par toute formule bien formée de la logique déontique standard.